<html>
    <head>
        <title></title>
        <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
        <link rel="stylesheet" type="text/css" href="../style.css">
    </head>
    <body>
        <div class="text">
        <h2>Tracer</h2>
        Der Tracer lässt sich nur starten, wenn eine Datei geöffnet wurde, die in 
        Mini-Ada-Syntax geschrieben ist. Der Start erfolgt entweder über die Menuleiste,
        die Toolbar oder den Shortcut "F6". Nach einer einstellbaren Anzahl von Schritten
        fordert das Programm dazu auf, entweder den Vorgang abzubrechen oder den Trace weiter
        fortzuführen. Dies soll sinnlose Endlosschleifen vermeiden. Nach der Ausführung
        wird in dem Ordner, in dem sich die geöffnete Datei befindet automatisch eine Datei
        "Trace_package_procedure_#.txt" erstellt. Diese enthält die gleiche Ausgabe, die auch
        im Tab "Trace" angezeigt wird.<br/>
        <br/>
        Ein Trace läuft folgendermaßen ab:<br/>
        Auf der Anweisungsebene werden sämtliche Ausdrücke in Einzelschritten interpretiert
        und protokoliert. Nach jeder Anweisung wird in eckigen Klammern jeweils die aktuelle
        Belegung der vorhandenen Variablen angezeigt (Wertekeller, Umgebung). Der Trace startet
        mit der Anfangs- und endet mit der Endbelegung. Am Ende von while- und if-Zeilen sowie
        bei Zusicherungen und Bounds steht hinter einem Doppelpfeil "=>" der aktuell berechnete
        logische Wert "true" oder "false". Schleifen erscheinen hier so oft, wie ihre Bedingung 
        wahr ist.
        </div>
    </body>
</html>
